#include <stdio.h>
int main()
{
    int year;
    int month;
    int day;
    scanf("%d%d%d",&year,&month,&day);
    if(1<=month && month<=12)
    {
        if(month==1 || month==3 || month==5 || month==7 || month==8 || month==10 || month==12)
        {
            if(day>=1 && day<=31)
            {
                printf("OK");
            }else
            {
                printf("NO");
            }
        }else if(month==4 || month==6 || month==9 || month==11)
        {
            if(day>=1 && day<=30)
            {
                printf("OK");
            }else
            {
                printf("NO");
            }
        }else if(year%100!=0 && year%4==0 || year%400==0)
        {
             if(day>=1 && day<=29)
            {
                printf("OK");
            }
        }else if(day>=1 && day<=28)
            {
                printf("OK");
            }else
            {
            	printf("NO");
            }
    }else
    {
        printf("NO");
    }
    return 0;
}
